formal grammar
英 [ˈfɔːml ˈɡræmə(r)]
美 [ˈfɔːrml ˈɡræmər]
网络 形式语法; 形式文法; 形式化文法; 正规文法
双语例句
- This is how, for instance, the C standard defines its formal grammar.
举例来说，这就是C标准定义其形式语法的方式。 - Direct Method is a method of teaching a language through conversation, discussion, and reading in the language itself without translation and without the formal study of grammar.
直接法是指不经过翻译和正规学习语法程序，而是通过用外语谈话，讨论，阅读等手段来教授语言的方法。 - Formal syntactic models for the description of grammar, eg generative grammar, are a type of metalanguage.
正式句法模式描述语法，例如生成语法，是一种元语言。 - Contemporary linguistics may be divided into two major camps: formal grammar, represented by Chomsky s generative grammar and functional grammar, represented by M.
当代语言学的主要流派是以生成语法为代表的形式学派以及以韩礼德和西蒙·狄克的三个平面的功能语法为代表的功能学派。 - Study on classifier began comparingly late, and been ignored for its simple form during the period of formal grammar.
量词的研究起步较晚，由于其语法形式较简单，在形式语法占主导的地位的时期，也一直不被重视。 - In this paper, by studying the load combination algebra system, its formal definition and translation grammar are presented.
本文通过对荷载组合代数系统的研究，给出了其赋值语句形式化的定义和相应的翻译语法，并且由此设计并实现了一个简单、可行的语法制导翻译程序。 - This paper summarizes the research of the Chinese formal grammar developed in the past twenty years, and discusses its developing specificities, tendency, and why it can't obtain the main status in Chinese grammar researches.
本文对二十多年来汉语形式语法研究做了总结和梳理，并就其发展特点、趋势以及何以无法在汉语语法研究中取得主流地位等问题展开思考和讨论。 - And the learners should be exposed to authentic use of language rather than formal knowledge of grammar.
学习者应该掌握的是语言的实际运用，而不仅仅是正统的语法知识。 - Different from formal semantics, cognitive grammar suggests that the meaning of a sentence is not its truth-conditions, but the conceptualization related to it, being equal to conceptualization or mental experience in nature.
与形式语义学不同，认知语法认为，意义并不是句子的真值条件，而是与句子有关的概念化过程，在本质上等于概念化或心智经验。 - In the research on indirect anaphora, the current focus is not the formal ties in traditional grammar, but the mental representation and mental coherence of the text.
在间接回指的研究中，当前焦点不在于发现传统语法中的形式纽带，而是在于从语篇的心理表征和心理连贯角度进行阐释。 - According to the features of formal semantic network model and attribute grammars, the new model uses symbols of attribute grammars to establish grammar and semantic rule schema suitable for semantic networks, and implements the reasoning by the expanded attribute grammar interpreter.
根据形式化的语义网络表示模型和属性文法的特点，该模型使用属性文法的符号建立了一些适合于语义网络表示模型的语法和语义规则模式，并且可通过扩充的属性文法的解释器来实现推理。 - The Track of Chinese Formal Grammar
汉语形式语法研究发展轨迹 - The paper introduces the relationship between VoiceXML and Grammar at first, then describes the principle of ASR, and deduces the common formal logic of Nuance speech grammar.
本文首先介绍VoiceXML与语法的关系，然后描述了语音识别原理，并推导出常用的Nuance语法形式逻辑表达式。 - Yet the prevalent pedagogy in speaking teaching is based on formal linguistics ( traditional grammar).
目前主导的口语教学法建立在形式语言学（传统语法）的基础上。 - The debate about the effectiveness of formal instruction has revolved around the question of whether to teach grammar rules and how to teach.
围绕着语法形式教学的有效性是该不该教语法，以及如何教的问题。 - Through analyzing the formal description and the semantics structure of client requirement, making a premise of individual character product features information grammar, the client requirement description language which is apt to comprehension by computer is constructed.
通过对客户的需求进行形式化的描述和语义结构的分析，以个性化产品特征信息文法为前提，构建计算机易于理解的客户需求描述语言。 - By analyzing the psychological processes of translation, three types of schemata are discussed, i.e.: content schema, formal schema and grammar schema.
文化期待图式有三种类型：内容图式、形式图式和语法图式。 - And the three schools of Chinese grammatical study, including formal grammar, functional grammar and semantic grammar, are elaborated.
并且对目前的汉语语法研究的三大流派“形式语法”、“功能语法”以及“语义语法”作了简明阐述。 - Distributed Operating System Formal System Model ( DOSFS) consists of the grammar DOSFSG and the semantics DOSFSS.
分布式操作系统形式化系统模型DOSFS主要由文法DOSFSG和语义DOSFSS两部分组成。 - A Formal Grammar to Represent Knowledge
用于表示知识的形式文法 - From thinking of the formal language, the method is proposed resource structure description to view grammar that is a logic rule grammar ( LRG) for resource network. 2.
具体说，论文的主要成果和创新点为：1.源于形式语言思维，提出了文法视角的资源描述方法，也即资源网络的逻辑规则文法LRG。 - It is a new idea that syntax and semantics analysis based on type grammar of formal semantic. It introduces western modern logic grammar theory, but it is not limited to this. It is more suitable for operation on Chinese than rule-based limited syntactic analysis.
基于形式语义学类型论语法的句法语义分析是一种新的思想，引进西方现代逻辑语法学理论却又不拘泥于此，比基于规则的限于句法的分析更适合对汉语进行操作。 - The result shows that the formal approach is more expressive in accounting for the mechanism of grammaticalization and can explain the nature of grammar more effectively.
本文认为形式主义的研究方法对解释语法化的机制更为深入，直观，能更有效地揭示语法本质。 - Nevertheless, refocusing on the formal grammar teaching doesnot mean a simple return to the traditional grammar teaching method.
当然，这种对语法的重新重视绝不意味着对传统语法教学法的一个简单回归。